1

Inductive reasoning on recursive equations

Year:
1979
Language:
english
File:
PDF, 1.35 MB
english, 1979
2

Computation of resource requirements

Year:
1975
Language:
english
File:
PDF, 320 KB
english, 1975
3

Horn clause computability

Year:
1977
Language:
english
File:
PDF, 746 KB
english, 1977
5

Steadfast logic programs

Year:
1999
Language:
english
File:
PDF, 2.29 MB
english, 1999
7

Open and closed models of understanding in conditional reasoning

Year:
1982
Language:
english
File:
PDF, 975 KB
english, 1982